To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·20h·
Discuss: Hacker News
💾Persistence Strategies
A distributed systems reliability glossary
antithesis.com·4h·
Discuss: Lobsters, Hacker News
🛡️System Reliability
EventCatalog — The Missing Piece to Your Event-Driven Application
medium.com·21h·
Discuss: r/programming
🪄Prompt Engineering
launchbadge/sqlx
github.com·17h
💾Databases
Improve Precision of Parasitic Extraction for Digital Designs
semiwiki.com·2h
🔬Chip Fabrication
Take a Dive Into Delta Lake
pub.towardsai.net·8h
🔄Database Recovery
Representation learning with a transformer by contrastive learning for money laundering detection
arxiv.org·15h
📊Vector Databases
Engineering Deutsche Telekom's sovereign data platform
cloud.google.com·12h
🏗️Infrastructure Economics
Kubernetes Finally Solves Its Biggest Problem: Managing Databases
thenewstack.io·23h·
Discuss: Hacker News
☁️Serverless Databases
The Magic Minimum for AI Agents
kill-the-newsletter.com·4h
💳Content Monetization
Welcome new SXT community members! The Gigabrains are on fire this month.
threadreaderapp.com·3h
🏹Apache Arrow
Proactively troubleshoot with synthetic testing and distributed tracing
datadoghq.com·19h
🧠Inference Serving
How to Avoid Data Access Bottlenecks When Using Trino
starburst.io·1h·
Discuss: Hacker News
⚙️Database Internals
What is the Best Coding Agent?
dolthub.com·19h
👨‍💻AI Coding
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·5h
🕳LLM Vulnerabilities
How Uber Processes Early Chargeback Signals
uber.com·5h
🧠Inference Serving
Analysis of RISC-V CPU Fuzzers via Automatic Bug Injection (ETH Zurich)
semiengineering.com·12h
⚙️Mechanical Sympathy
Why Eliminating Deception Won’t Align AI
lesswrong.com·10h
🛡️AI Safety
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·19h·
Discuss: Hacker News
💻Programming languages
GitGuardian Launches MCP Server to Bring Secrets Security into Developer Workflows
techstartups.com·7h
📋MCP